Nuprl Lemma : monot_wf 13,42

T:Type, R:(TT), f:(TT). monot(T;x,y.R(x,y);f  
latex


Upgen algebra 1
Definitions of Statementmonot(T;x,y.R(x;y);f)
DefinitionsP  Q, x(s1,s2), monot(T;x,y.R(x;y);f), t  T, , x:AB(x)

origin